/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
/**
 * NuGat-API named Chameleon developed by Simon De Baets to Verimag.
 *
 */
package chameleon.model.NuGatStructure.prop;

import chameleon.gameSolver.NuGat.NuGatInterface;
import com.sun.jna.Pointer;

/**
 * This class is a wrapper to the C struct PropDbGame.c
 * 
 * @author simon
 */
public class PropDbGame extends PropDb {
    
    public PropDbGame(Pointer PropDbGame, NuGatInterface nugat){
        super (PropDbGame,nugat);
    }
    
    /**
     * 
     * @return GameSexpFsm_ptr
     */
    
    public Pointer getGameScalarSexpFsm(){
        return nugat_.PropDbGame_master_get_game_scalar_sexp_fsm(this.ptr());
    }
    
    public void setGameBddFsm(Pointer fsm){
        nugat_.PropDbGame_master_set_game_bdd_fsm(this.ptr(), fsm);
    }
    
    /**
     * 
     * @return GameBddFsm 
     */
    
    public Pointer getGameBddFsm(){
        return nugat_.PropDbGame_master_get_game_bdd_fsm(this.ptr());
    }
    
    
}
